How Leak Detectors Work